国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文OA文獻 >Replicated ambient Petri nets
【2h】

Replicated ambient Petri nets

機譯：復制的環(huán)境Petri網

代理獲取
本網站僅為用戶提供外文OA文獻查詢和代理獲取服務，本網站沒有原文。下單后我們將采用程序或人工為您竭誠獲取高質量的原文，但由于OA文獻來源多樣且變更頻繁，仍可能出現獲取不到、文獻不完整或與標題不符等情況，如果獲取不到我們將提供退款服務。請知悉。
  • 摘要
  • 著錄項
  • 相似文獻
  • 相關主題

摘要

Recently we have introduced Ambient Petri nets, as a multilevel extension of the Elementary Object Systems, that can be used to model the concept of nested ambients from the Ambient Calculus. Both mobile computing and mobile computation are supported by that calculus, and then by means of our Ambient Petri nets we get a way to introduce in the world of Petri nets these important features of nowadays computing. Nevertheless, our basic proposal does not yet provide the suitable background for the modeling of replication, one of the basic operators from the original calculus, by means of which infinite processes are introduced and treated in a very simple way. In this paper we enrich our framework by introducing that operator. We obtain a simple and nice model in which the basic nets are still static and finite, since the dynamics of the systems can be covered by the adequate notion of marking, where all the copies generated by the application of the replication operator will live together, without interfering in an inadequate way.
機譯：最近，我們引入了環(huán)境Petri網，作為基本對象系統(tǒng)的多級擴展，可用于對環(huán)境演算中嵌套環(huán)境的概念進行建模。該演算支持移動計算和移動計算，然后借助我們的Ambient Petri網，我們可以在Petri網的世界中介紹當今計算的這些重要特征。但是，我們的基本建議尚未為復制建模提供合適的背景，復制是原始演算的基本運算符之一，通過該運算符可以非常簡單地引入和處理無限的過程。在本文中，我們通過引入該運算符來豐富我們的框架。我們獲得了一個簡單而美觀的模型，其中基本網絡仍然是靜態(tài)且有限的，因為系統(tǒng)的動態(tài)性可以由適當的標記概念覆蓋，其中由復制運算符的應用程序生成的所有副本將一起生活，不會以不適當的方式進行干預。

著錄項

相似文獻

  • 外文文獻
  • 中文文獻
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯合信息科技 (北京) 有限公司?版權所有

  • 客服微信

  • 服務號